University College London - PDFSEARCH.IO - Document Search Engine

University College London
Results: 2535

#	Item
441	Low-Dimensional Embeddings of Logic Tim Rockt¨aschel§ Matko Bosnjak§ Sameer Singh† Sebastian Riedel§ § Department of Computer Science, University College London, UK † Computer Science & Engineering, University o Add to Reading List Source URL: sameersingh.org Language: English - Date: 2016-03-01 20:33:28
442	This article was downloaded by: [University College London] On: 29 August 2013, At: 07:09 Publisher: Routledge Informa Ltd Registered in England and Wales Registered Number: Registered office: Mortimer House, 37- Add to Reading List Source URL: www.antoniahamilton.com Language: English - Date: 2013-08-29 11:12:40
443	Automated Deduction Systems for Real Mathematicians Paul Cairns and Jeremy Gow1 UCL Interaction Centre, University College London, 26, Bedford Way, London WC1H 0AP, UK {p.cairns, j.gow}@ucl.ac.uk Add to Reading List Source URL: web4.cs.ucl.ac.uk Language: English - Date: 2005-04-14 12:39:48
444	Bayesian Sets Zoubin Ghahramani∗ and Katherine A. Heller Gatsby Computational Neuroscience Unit University College London London WC1N 3AR, U.K. Add to Reading List Source URL: www.gatsby.ucl.ac.uk Language: English - Date: 2006-01-13 14:27:22
445	Knowledge in Multi-Agent Systems: Initial Congurations and Broadcast Alessio Lomuscio Department of Computing Imperial College, University of London London, UK Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2009-02-25 10:35:15
446	Suggestions for a common file format for neurophysiology Kenneth D. Harris University College London Add to Reading List Source URL: crcns.org Language: English - Date: 2014-12-10 19:22:20
447	Real Electronic Cash versus Academic Electronic Cash versus Paper Cash Yvo Desmedt BT Chair of Information Security University College London Add to Reading List Source URL: fc08.ifca.ai Language: English - Date: 2008-05-08 09:53:38
448	Literate proving Presenting and documenting formal proofs Paul Cairns & Jeremy Gow UCL Intereaction Centre University College London London WC1E 7DP, UK Add to Reading List Source URL: web4.cs.ucl.ac.uk Language: English - Date: 2005-05-13 12:55:41
449	Wedge: Splitting Applications into Reduced-Privilege Compartments Andrea Bittau Petr Marchenko Mark Handley University College London Add to Reading List Source URL: www.usenix.org Language: English - Date: 2008-04-04 18:07:42
450	Low-Dimensional Embeddings of Logic Tim Rockt¨aschel§ Matko Bosnjak§ Sameer Singh† Sebastian Riedel§ § Department of Computer Science, University College London, UK † Computer Science & Engineering, University o Add to Reading List Source URL: www.aclweb.org Language: English - Date: 2014-06-16 05:48:44 Logic Philosophy Reasoning Semantics Model theory Critical thinking Logical consequence Embedding Negation Inference Truth value Distributional semantics

UPDATE